perm filename AMTI9.360[360,GF] blob sn#793851 filedate 1985-05-27 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T  Gβqp∂¬%p↓↔ Ehα↔UXβ⊗`ePβV@uH∧⊗0λαV ⊂αU`0⊂β∃`  αU@0 αU 0(αU  0αU00αU 8αTau⊂λ∀@ HαT 0HαT  Pβ∀0XαT `αS`0`αS@0hαS @`β∩A⊂8ε∩A⊂8ε⊃(D⊂∂HCapβDj⊃(*A↓⊂(*A↓ (*↓!0(*↓↓@(*↓↓@(*↓↓@()A!00)A↓@()A↓00)A↓0()↓! ()↓↓⊂0)∧*!⊂(A! ((A↓@ (A↓@((A↓@((↓!@((↓↓P((↓↓P((↓↓P('A!@('A↓@0'A↓@('A↓0('↓!⊂0%¬i! "Qλ1p∩πCaβA %8¬A%(β↓ 0⊂↓T``@βT@PXβ∀ Phα∀Ppα∪`Pxα∪@Qλ↓S Q⊂↓∪ Q⊂↓∪Q_↓∪Q_↓∩`dXαR`TPβ∩@TPαR@Q_↓∩@Q⊂↓R@Q⊂↓∩`Aλ↓R`Px↓R`Px↓S@p↓S @`↓S@@Hα∪`P(αT↓U_βQ(D ⊂λcapβDj⊃(*A↓0*A↓ (*↓!0(*↓↓P *↓↓P(*↓↓P()A!` )A↓p )A↓p )A↓`()↓!`()↓↓p()↓↓p()↓↓p((A!`0(A↓p((A↓p((A↓`((↓!`((↓↓`((↓↓`((↓↓P('A!@('A↓@('A↓0('A↓ ('↓ p8%¬)!_"QλQp⊂GC`8T"u(αα@U(αβ5 αC5 αβ 5 αβ 5 αβ 5_αA  0↓∀`@0↓↓@%_α↓@ 0↓∀`@(↓T@P(↓T@@(↓TAE⊂ε∀ P α∀ @0↓∀ @0↓∀ @0↓↓`%αA 00↓T@0↓↓`%αβ@5αβ 4xαC 4xαβ 4xαβDxαα`DpαBtP∩Bt("⊃CR∂π@q0(EJP ∧A*P ¬@j@(¬@j@ εj@ εj@ εj0(α@@P⊂)A`⊂α@J0 β@P⊂)AP_)↓ P_)↓P_)β
 `(A @ (A`⊂(A`⊂(A`⊂(↓ P_(↓`⊂(↓
 'A)p 'A	p '↓) h%β(T #GDAp∂∧p(↓∃a@_↓∃ `(α 5_βα e⊂αB`eλαC EαC@DxαD4pαD 4hαD@$hαD@$`αD`$`αR`dXαR`TPβ∩@TPαC↓DPαC↓DPαDTPαDDXα∧DXαC`DXαC@T`αβ@DhαβTpαα@dxαAA¬ε@@%_∧↓$("∩∧B8∂π@ph↓C*⊂h↓C*P ε↓
P ε↓
@(¬A*@ ε↓
@ ε↓
@ ε↓
0(¬A*0 ε↓
0 ε↓
0 ε↓
 (¬A*  ε↓
! )¬
⊂(¬A*⊂ ε↓
⊂ ε↓
⊂ ε↓
(¬A* ε↓
 ε↓
 ε↓	p(¬A)p ε↓	p ε↓	p ε↓	`(¬A) `αβ	 `αβλT $Dbap∂↓aEλε∃ E(α∃U α∃E α∀`U_α∀`E_α∀@U⊂α∀@E⊂α∀ Uλα∀ Eλα∀Uα∀Eα∪`Txα∪`Dxα∪@TPε∩AD("∩BqX∂πA0`*C  -↓⊂(,A⊂ ,A(,↓ ,↓
p(+A
p +A
`(+↓
` +↓
P(*A
P %@`p %↓ P(%↓ P %↓ @(%↓P %@`0(%BIP0"Q	2 ∪GC`8ε↓A5λε↓A5(αβe(αβE αB`5 αα@E αα E αα5_αA`5_α↓`5_α↓@5_α↓E⊂α@`e⊂α`u⊂αA¬⊂α 0λβ∀!_αT p αT `(β∀ @@αTP@αT@Hβ∀@PαT@PαS`PPβ∪`@`αS`@`αS`@`αS@P`β∩A@0ε∩A@0ε⊃(D`GβapβC*⊂h*A
P *↓*@ *↓
@ )A*0 )A
0 )↓*  )↓
  (A*⊂ (A
⊂ εJ(¬@j εJ ¬@j ¬@ip(¬ip ¬↓	p ¬↓	p ∧↓)`(β↓i!(%¬(T &Jeap∂↓a↓_∧T!⊃⊂∧U QλαU Qβ∃aβ∃`xβ∃`pβU`p↓ E_∧β↓¬_↓@@`↓ E_↓@@X↓@ E_↓@@P↓@@E⊂↓@@@P↓@U⊂↓`@H↓@@E⊂↓`@@↓@`E⊂↓`P8↓↓Eλ↓A@0↓@`Uλ↓↓ @(↓AEλ↓↓ @(↓↓ Eλ↓↓ @ ↓A E↓A @_↓A U↓↓@@_↓↓@E↓↓@Pλ↓A@E↓↓`@λ↓↓`Dx↓A`p0αS` @β↓`Dx↓αP@α∪@0@αBDhαα@@αRA (↓A!DP¬↓@ (ε⊃(Dp∩	capβB!⊂X(BAX*AA0 *AA@⊂*α↓ _*@⊂(¬J@⊂AA⊂⊂*@ (∧@J0_↓↓!_)@@00β@J0⊂α↓ p⊂)@@@(β@J _α↓@P_)@`(α@J ⊂β↓@@⊂)@p(αJ⊂_βA 0_(@A0↓J⊂⊂∧A  ⊂(@A⊂(↓J_∧B*⊂¬Aj⊂¬Aj⊂ε↓Ip_ε↓Ip⊂εA)p⊂π↓	`_π↓	P π↓	 PεI PεHT 'G$1p∂βA¬0ε∃` β∀`P@αT `Pα∀P`αS`Ppα∪`PpαS@PxαS QαS QαSQλαSQλαR`aλαR`Q⊂αR`Q⊂αR@aλβ∩@Q⊂αR@Q⊂αR@Qλβ∩@QλαR@QαR@QαR`@xαR`PhαS@`αSPPαS @HαS@P βSaUλ∧⊃(E∂λ#apβDJ⊃ *A↓(*A↓⊂(*↓!  *↓↓0(*↓↓0(*↓↓0()A! 0)A↓0()A↓0()A↓ ()↓!⊂0)↓↓⊂0)↓↓0)∧
⊂x(A
⊂ (A
((↓
 (↓	p('A	p 'A	`(%β	 `"Q
⊃h⊃Ic`p∧∃AE β↓e_αBUλβα@EαCTxαC@DxαC@TpαC`ThαDThαDT`αD T`αD TXβ∧ TXαD@TXαD@TPβ∧ dPαD@TPαD@TPαD dPαD TPαDTPαDTXαβ`TXαA`_αS@_β@@T`α@ 0_∧∪ @λ↓↓tpβ`txεA %λ¬↓@%@↓A 5@↓A 5@↓A5@α@E@∧V↓∃@∧⊗ eHαQ(E⊂∂λ#apβD*⊃ *Ap0*A↓⊂(*↓!⊂(*↓↓0(*↓↓0(*↓↓0()A! 0)A↓0()A↓ 0)A↓⊂0)↓!0)↓p8)∧
 h(A ` (A↓ (A↓ (A↓⊂ (↓!((↓↓⊂((↓↓⊂((↓↓⊂('A!0'A↓⊂(αIp ∧A @⊂'A↓⊂(↓@i`(∧A  _%βp@%β↓0"Q
1H∞πC``βA% ¬@@%_αAu⊂ααUλ↓B`Eλ↓B`5↓C5↓C $xαβ4xαβ$xαS`e∧T↓Eλε∀AE_ε∃a¬PαV`D`↓β@4`↓β@4`↓β@4`↓β@4X↓C 4Xαβ4Xαα`4XαB 4P↓@ @(α∩@0⊂¬R@ (βQ(E ∞Iβap↓FIQP&A@P αAI@(βAp &↓p(βA	@_∧↓↓⊂_%@a⊂ ∧@i0_∧A↓⊂_%a⊂(∧@I _∧A↓ ⊂%A  ¬J` *A*P *A
P *↓*@ *↓
@ )A*0 )A
0 )↓*  )↓
  (A)1%DλT *GDqp∂!P(¬RaP(¬S`@hα∪`@p↓∪@Ph↓S@@p↓∪@@p↓∪@@p↓∪ Ph↓S @p↓∪ @p↓∪ @p↓∪Ph↓S@p↓∪@p↓∪@p↓∩`Ph↓R`@p↓∩`@p↓∩`@p↓∩@Ph↓R@@p↓∩@@p↓∩@@h↓R@@`↓R`0`↓∩`@Hα∩`@@α∪P α∪!4xβQ(E0∂	capβ↓⊂H%β↓⊂H&A!p('↓↓p_'↓↓p_'↓↓`_'↓↓`⊂'↓↓P_'↓↓@_'↓!0⊂'A↓ _'A↓⊂_'A↓⊂⊂'A↓_'A↓⊂'Ap_'A`_'A P⊂(↓@_(↓0_(↓0⊂(↓ _(↓ ⊂(↓⊂_(↓j0(A*⊂ (@j⊂_(@HT +If⊃p∂↓ _ε↓A∧P¬a@0∧∪PPαC4`αB@P`↓∪ @Xαα`4hαα`@X↓∪ @PαB@4hαα `H↓S @Hβα $hααp@↓S @@↓ @@↓∪ @8↓@ @8↓S @8↓@@8↓∪ @0↓@@@0↓S @0↓`@0↓∪ @(↓@`@(↓S @ ↓A@ ↓S @ ↓↓ @ ↓∪ @_↓A @_↓S P⊂↓↓@P⊂↓∪@@λ↓A`@λ↓S@@λ↓α@λ↓∪@p@βS@`Hβ∪@PPαS@PPαS@@Xα∪@@Xα∪@0`↓S@0`↓S@ h↓⊃(E@⊃I#apβC @X(C @X*AA (*AA _+↓!⊂_+↓!_+↓@`_+A P_+A@0_,↓ 0⊂,↓  _,α+⊂8,AK (-↓+⊂8,AkH+@` (+`0(*@`@0*``()@`p0)a⊂()A 0(@a0('A↓@('↓!08%α`p`%α`p`"Q⊃p∪GC`εB↓∀PεB↓∀pαC@TpαC@4pββ4xαC$xαB`4xβα 5αB5αA`5β↓@%λαA 5λαA5λβ@5⊂α@@%⊂α@ 5⊂∧∀`e_αT`U_αT`E_α∀`E⊂αT@E⊂α∀@EλαS!Dhε⊃(EP∞πcap∧¬
! )↓A0)a 0(A↓⊂0(@a⊂0(@a⊂((@A⊂0(a0(A0(@p0,A+0+AJ`0*AJP(*↓J00β@J 0β@j⊂0∧j⊂(∧@J0∧ip0∧@i`0∧@iP0¬iP(¬i@0∧A	00βAi! %¬λT 0DBq_	A`Pλ↓∪a4pα@@Thα↓Thα↓ D`α↓ TXαA DXα↓@DXα↓@DPαA TPα↓@DPα↓@DPα↓@DPα↓ P⊂↓∩@@(α`$Pα↓ @⊂↓R@@ α@@$X↓@@pλ↓Spλβ∪ @ α⊃(F⊂πEβap↓↓i@8'A	p '↓)` '↓	` &A)P &A	PH&αi@0↓↓	@(αi@ αA	0(αA	0 β↓	0 β↓	0 β↓	 (αA)  β↓	  β↓	  αA)  αA	  αA	  α↓	  ↓A	0_↓↓	@8&A(T 1CbA_	BU∧∪`@⊂α∪@@⊂αS @_αS@ αS@(↓R`DXα∩@TPα∩@DPα∩@DPαα$Pα↓`4X↓A@4Xα`D`∧S@T("→α1@∂πA@8+↓k⊂ ,A(,↓ ,↓
p(+A
p (A ⊂ 'C	`(↓↓)P α↓)P αA	@ αA)0(αA	0 β↓	0 β↓	 (αA)  β↓	  β↓	  β↓	  αA  ⊂%↓P ↓@I  αA _%↓@(↓I0_↓↓`⊂_&↓`⊂0&A@ "QPx
∧b0@αT↓∧pα@@DhαA4hα↓ 4`α↓ DXα@`TXα tX¬∩A∧Pα∩@DPα∩@DPα↓`4X↓A`4X↓A TXα`T`∧S@d("→BQ ∪GA`(+Aj`H+α*P A*P ↓jP *A
@ *↓
@ (αjX)A*0 )A
0 )A
 ()↓
  )↓
  (A*⊂ (A
⊂ (A
 (↓
 (j_'A	0_@i @%α	 8%↓I0 "Qq⊂
Gα0Hα@ %λ¬TP⊂αS`@ αS`@(α∪@@(αS P(α∪ @0α∪ @0α∪P(αS@0α∪@0α∪@0α∪@(αS@(α∪@(α∪@ αS 0⊂βSA$xα E α∀`U_α∩`0(α∩@P_αR@P_α∩@PλαRa∀`β⊃(F@
¬capα↓i`8(A
⊂ (↓* (↓
 'A)p 'A	p ↓↓	``'α⊂ '↓@@_'↓ P &A@@(&A P &A P &A` &↓ P(&↓` &↓` &↓P(%A P ↓@I0 β↓0⊂%AP(↓i0 αA0⊂%↓ `_A	  βAi0⊂∧AλT 4C"↓p∂α 5⊂αT@U⊂αT`48αS@Dhβ∪0λα∩`0⊂α∩` _α∩@0⊂αR@ _α∩@ _α∪@Tpα∪@DhαS D`α@@$`α`$`α@4`α@$`α 4hβ∪@D("~B1λ∪GAp_,↓+(,↓+⊂_#A*@ )↓j⊂ @j⊂⊂↓A
_↓A	p_↓A)p⊂α↓	p⊂α↓
P *↓*@ *↓
@ )A*0 )A
0 )↓*  )↓
  (A*⊂ %@`0 %↓ ⊂(%↓ ⊂ %α)08&↓(T 5Dbap∂↓tpβT Eλα∀Uα∀Eα∪`Txα∪`Dxα↓ DpαAdpα↓tpαa∧pα@0λαS Pλ↓@`4hα 4hβS d`∧S@λαS@_α∪@_α∩`P_α`$Xα↓@_↓∩`@ α@4Xα↓@⊂↓∩@P(↓@ 4Pα↓@dX↓αD("≠↓ h∂π@@0'↓J (↓	p('A	p 'A	`('↓	` '↓	P(&A	P &A	@(&↓	@ &↓	0(%A	0 %A	 (↓I  ↓@I  ↓i  ↓I  @i00&↓λT 6H$Q_	@`00αA@T`β`p βR`0λ↓@@0⊂α@0⊂α∩` ⊂βA0λ↓A4X↓@`(β↓ 4P↓@ `(β↓ DP↓@P0αA@DP↓@P0αA@Dpα↓`@8α∪ P0αA@Thα↓`@8α∪ @8α↓`Dhα↓`@0αSP0αA@@_↓∪@8α↓`@_↓∪@8α↓@P⊂↓S@8α↓@@_↓∩`P0αA`0λα∩`@8ααt`↓α  Pα⊃(FpεB1_↓@``(&↓@08%@`⊂_↓`  %@@ 8αi0⊂↓↓@P_%`⊂0αA	 ⊂↓↓ ` %@ (β↓	` βA	P(β↓)P βA	P βA	P β↓)@(β↓0⊂&↓p ↓@I@ β↓  _&↓` ↓@I0(β@`⊂ %A↓8&A  "Q
qλ∧b0@αT↓∀xα`Dpα↓Dhα↓@4`α↓`D`α↓`DXααDXααDPαA`TPααDPααDPα↓`TPα↓`DPα↓@TPα↓@DX↓A DXα`D`∧S d("≤αQ0∞∧`` ↓A)p0Aip⊂A@  '`⊂(αi`⊂↓↓P &@`⊂(αA	P⊂↓↓` &@@  β↓
⊂ β↓
(αA* β↓
 β↓
 αA)p(αA	p β↓	p αA	p α↓	`0↓↓	`X'↓⊂('↓	P(&A	P &A	@(&↓	 H%α(T 8D"a`	A`P⊂↓SaDpα@@Thα↓Thα↓ D`α↓ TXαA DXα↓@DXα↓@DPαA TPα↓@DPα↓@DPα↓@DPα↓ TPα↓ DPα↓ DPα↓TX↓@@t`¬∪ @λα∀@EλαT Eλα∀ EαTDh¬∪!$("≤Aq_	D`0 αi@0↓↓)@⊂@`⊂0%@`⊂P%@@ P%`⊂(↓i ⊂↓↓) ⊂↓↓	` &A)P &A	P &↓)@ &↓	@ %A)0 &HT 9Dα1_	A`e∧S`0 ↓S@00↓S@0(α∪ @(α∪ @0↓∪ tp∧SA$x∧T@tX↓A`DPαA@DPαA@4PαA@4Pα↓@4Xα↓D`¬∪@d("≥↓A
F``⊂'A	p 'A	p '↓)` '↓	 `%β	P &A	P &↓)@ &↓	@ %A)0 %A	0 %↓ @⊂%↓P⊂%↓@_%↓0_%↓ _%Ai@("Q∞Q(Db0 ↓B $hβ↓@D`↓@ 00α∩`0⊂↓A@DX↓@@0α∩@0⊂α↓ TP↓@P(α∩@ ⊂α↓@Dpα↓@DhαA Thα↓@Dhα↓@Dhα↓@Dhα↓ P⊂↓∪ @(α`$hα↓P⊂↓S @ α@@$hα@pλ↓SAλβ∀@ α⊃(G0	¬B1_α`p⊂&A@@ &`⊂_α↓)0_AP %@@  αA	 _↓↓`_%@ (βI ⊂↓↓p⊂'↓p⊂&A `_&Ap⊂&Ap⊂&A`_&A`⊂&AP_&@`P_&A@⊂&A  'α
 "Q∞qX∂Db0 ↓B 0↓∪ `(α↓D`↓@ 0(α↓TX↓@@0(α↓ DX↓@@(α↓ DP↓@@@ αA@4P↓@P α↓`$P↓@@(α↓`$pα↓ @8↓∪ P αA@4hα↓ @8↓∪ @(α↓`$hα↓ @0↓S @(α↓@$h↓A @0↓S 0(α↓@$hα`` ↓S @⊂β@`4pβ@A¬α↓ T("≡α10	D`P(α↓	`8↓↓IP_↓αi@_ααI@⊂αA⊂(%@`@(↓i0⊂αA	0⊂αA
  (A*⊂ (A
⊂ (↓ P⊂%@`  βI (AP_%α@P⊂%α`  %↓@ @%A@("Q∂⊃⊂πα0 ↓B$hβ↓ D`↓@ 0(α∩`0λα↓ DX↓@@(α∩@0⊂α↓TP↓@P α∩@ ⊂α↓ Dpα↓ DhαAThα↓ Dhα↓ Dhα↓ Dhα↓Th↓A Dh↓A Dhα`Thα@dp¬∀↓¬ α∀`TX↓A DPα@`TPα@`DPα@@DPα@DX∧∪T("≡B!(	D`p_βIp0αip`'β	`_↓AI`⊂βjP_*j0_)j⊂_(ip_'`p⊂&@a⊂&↓ P %CI0_B) _↓Ai ⊂αA(T πβqp∂↓bUλ
U @@αU @P↓UPP↓U@X↓U@X↓U@X↓T`PX↓∀`@`↓∀`@`↓∀`E⊂αT@E⊂α∀@EλαT Eλα∀ EαTEα∀DxαS`Dxα∪`DpαRATPεQ(@λ∂λ#ap
@Kp_/↓P(.↓K@8-@`⊂ -`  -@0 ,@`0 ,`@(+@`` +@@p +`p *@a(*a  *A0 )@a0 )a@((@a` (@Ap (ap '@b '@B⊂('b  &@b0 &b@ &π	1h%πI!p"Q!h⊃GC`p∧∃AE β↓e_αBUλβα@EαCTxαC@DxαC@TpαC`ThαDThαDT`αD T`α@  P↓@TXβ!`⊂αR`P⊂π@TXα@A`⊂αR@`λπ@ dPα@@ P↓@TPα@@ P↓@TPα@@ P↓ dPαD TPαDTPαDTXαβ`TXαC T`αβT`αB@Thαα TpαAtxεT!∧("bqP∂πB ⊂-@k0_-↓  ,A+⊂(,↓K0+Ajp8+α
`⊂A*P_A*P⊂↓↓*@_↓↓*@⊂↓A*0_↓A*0⊂α↓* _α↓* ⊂αA*⊂_αA*⊂⊂β↓*_β↓*⊂βA)p_βA)p⊂∧↓)`_∧↓)P βAI H↓β	 H↓βλT απβqp∂↓bUλ
T"Uλ
T1↓T!λ↓∀!λ↓⊃`%λ↓β %λ↓β %↓C5λTα∃λSb$x↓β $x↓β $x↓β $8↓R`!λ↓∩`!λ↓∩`!λ↓∩bTP∩BTP
Q(@(∩	capβG*⊃h*A↓@ *A↓@ *↓!0(*↓↓@ *↓↓@ *↓↓@ )A!0()A↓@ )A↓@ )A↓@ )↓!0()↓↓@ )↓↓@ )↓↓@ (A!0((A↓@ (A↓@ (A↓@ (↓!0((↓↓@ (↓↓@ (↓↓@ 'A!0('A↓@ 'A↓@ 'A↓@ '↓!0(%α``X%α``X"Qb⊃GC`8T#∃⊂αβ@e⊂α∧ 5⊂αD5_α∧5_αC`5 αβ`5 αβ`% αC@%(αβ@%(α∃ U0α∃@U8α∃`50↓U 5 ↓C@%_↓C@5⊂↓C`%λ↓C`5↓D4x↓D4p↓D 4h↓D D`↓C@tXRC∀PQ(@8∞	#apαA! 0&B↓@&α@`P%A 0 α↓@_%↓P ↓A`⊂%`p_↓↓p⊂%A_A↓⊂%A8∧@J@8*A*@0*↓*@(*↓
@ *↓
0()A
0 )A
 ()↓
  )↓
⊂((A
⊂ (A
(%CI0p"Q↓↓P⊂GC`HπTau@α⊗E8αU!¬⊂π∀`λα Tpβ@P⊂αS `_α↓T`αA @(αR``(α↓ TXαA P(αR@`(α↓@TPαA@@0αR@P0α↓@TPαA P(β∩@P(α↓@TPαA @(αR@P(α↓dXα↓P_β∩`P_α`T`β!4pπ∀↓∃⊂α∀@E⊂α∀ T`π∪↓d("α#" ∂π@pp(CJ` +↓
P(*A	  βA`(%↓ ` β↓)0 αA P(%AP αA)0 αAP %AP αA	 (α↓ @(%↓P αA	  αAP %↓P α↓)  α↓ @ %↓@ α↓)  α↓0(%↓ 0 ↓A	0 ↓↓  (%A ⊂ AI@x&C	`P(↓
 (↓	p(%βI p"Q↓!p⊃πC`x∧UAe βA e⊂βα@UλββUββ Txββ@TxαDDpββ`TpαDTpαDTpαDTpαC`Tpα∧Tpα∧Dpαβ`Dpαβ`Dx↓C@Dx↓C@Dx↓C Dx↓C 4x↓CDx↓B`DX↓` X↓@`$X↓`0H↓@`4P↓@`0H↓@`$P↓@`0@↓@`4P∧Aa∀P∧Aa∀P∧AA$P∧AA∀("λ!1∂π@p_(↓*((↓*('A)p('A)p 'A	p '@i` '↓	` 'i`_'i`⊂&@iP_&@Hp_%@i (%↓) (%@hT ⊃GdB0∂∧` @↓↔  8↓W08↓↔ 8↓V`08↓⊗` 8↓V@08↓⊗@ 8↓V 08↓⊗  8↓V08↓⊗ 8↓U`08↓∃` 8↓SβT`∞U 08↓∃  8↓U08↓∃ 8↓T`08↓∀` 8↓RCTP∞T 08↓∀  8↓T08↓∀ 8↓S`08↓∪` 8↓S@08↓∪@ 8↓S 08↓∪  8↓S08↓∪ 8↓R`08↓∩` 8↓R` 8↓⊃(B(⊃J∧Bλ¬↓α0⊂)AB⊂_)↓⊂_π@j⊂ ↓@AP (↓@_¬A	p αA↓('AQ'↓ P⊂C)` βA _'↓`⊂∧@i` βA_'↓P_β@i`_β@p_'`P_βi`_α@@`_'`@_α@i` AP_'A`P_(↓`_αA⊂_α↓k_α↓ _+@`@ αJp⊂α↓P⊂+`@ α@JP_α↓ P⊂*`P βJ0_β↓`⊂)``(α@j⊂_βA`⊂(a βIp_∧AP_'a  α@IP_¬A@_&a@ ↓@i0_π` _%b0%B  "Q∧pHλC#` ↓S Thβ∪ dpαT%↓∪`4x↓∪@4h↓S4Pα∩@4("
α⊃8⊗λ!p⊂+A
` *A
@ )A
0_)↓
⊂ (A
 (↓	p 'A	` '↓	P(&A	P &↓)@ &↓	@ %A)0 %A	0 %A	0 %↓	  %↓	  %↓	  %↓	  %@i0_%@i0_&i@_&@i`⊂"Q¬⊃λλK∧⊂X↓∃ 50↓U`58↓U`58α⊗5@↓V5@↓V58α∃`E8α∃`E8α∃`E8α∃@U0α∃@E0α∃ U(α∃ E αUE α∀`U_α∀`E⊂α∀@Eλα∀ Eα∀Dxα∪`4p↓S 4`↓R@DP↓Q(BPλε""λ∧j _)j _&`0⊂↓@i@_↓@@0_&↓ ⊂↓↓	P_↓ ⊂ '@@⊂ (↓
 '↓⊂⊂%↓ ⊂⊂A)  ↓@  %`0⊂↓@ip_'↓	`_'hT ∃Fd⊃`D%P↓⊗@%H↓V %H↓⊗ %@↓V%@↓⊗%8↓U`$P
RC50↓U@%0↓∃@%(↓U %(↓∃ % ↓U% ↓∃%_↓T`$("↓PεA@_&A)P(&A)`_'@I`_'IP_&@I@_%@i _%HT ↔↓!  α 4PαR@TPαR`4("c1X⊗λ#⊂⊂1@L _0@l⊂⊂0l⊂/@kp⊂/kP_.@K@_.K0_-k ⊂,@k⊂⊂,k⊂+@j`_+JP_*@J@_*J0_)j ⊂(@j⊂⊂(j⊂'@i`_'IP_&@I@_&I0_%i ⊂"Qπ @εDb0 ↓S ThαS Tp↓Qa∀X↓R@TPαR@TX↓Q(CX¬C#A_β@j((↓*((@hpH'iP(&A)P('ip⊂'i`⊂&@iP⊂&i0_%i ⊂"Qπ@`ππBP@↓T UλαT U⊂↓Q`%λ↓∀ %↓T5↓S`4x↓S`4pα∪@Dp↓S Dhα∪ D`αSDXαR`TXαR@dPαR@TX↓Q(Ch∂λa1λ↓π	A`#Ai!X%εhT  π$1p∂βA¬0ε∃P0αT`@Pα∀ @p↓∀@x↓S`00β↓@$p↓A↓ (↓S@  αA0(↓∪ 0_α↓`P⊂↓∪  _ααP⊂↓∪0⊂αB @⊂↓∪ _αα P⊂↓∩`0⊂αB @_↓∩` _αα@@_↓∩` _αα@@_↓∩@0⊂αB P⊂↓R@ _αα@@_↓∩@ _αα@@_↓∩@  ↓B@@⊂↓R@  ααP⊂↓∩@  α↓@`⊂↓R@0 α↓pλ↓R` (∧@@dX↓A@` α∪$`↓S 1α∪@@H∧Sb%λ¬Q(EXλDeBλ¬AJP0*@J@_*J@⊂*J0_)@J0⊂)@J _)J ⊂)J⊂_(@J⊂⊂(@J_(J⊂(Ip_'@Ip⊂'@I`_'I`⊂'IP_&@IP⊂&@I@_&I@⊂&I0_%@I0⊂%@I 0%↓HT .Dαα`⊂B`U(αV%8↓U`%8↓∃`%0↓U@%0↓∃@%(↓U %(↓∃ % ↓U% ↓∃%_↓T`%_↓∀`%⊂↓T@%⊂↓∀@%λ↓T %λ↓∀ %↓T%↓∀$x↓S`$x↓∪`$p↓S@$p↓∪@$Pβ∩@T("_↓↓εG@`⊂'@i`_&@i@_%@i0⊂%@I _%↓) 0%↓I 0%AλT _¬#⊃`∞α`e_∧T P_α∀@0α∪`@@↓S`@@↓S@@Hα∪@@Hα∪ @Pα∪ @Hα∪ @Hα∪@Pα∪@Pα∪@Pα∩`PHαR`@Pα∩`@Pα∩`@Pα∩`@Hα∩`@Hα∩@@Pα∩@@Hα∩@@Hα∩`0@α∩`0@α∩`@0α∪@_αS!∀pβ⊃(CλλEβA`π@K_+A
` *A*08(αJ A
P *A
@(*↓
@ *↓
0()A
0 )A
 ()↓
  )↓
⊂((A
⊂ (A
(%∧	!"Qε! πβ@Xβ∀a∃⊂α`Eλ↓A@5αA Dx↓@  (α∪` ⊂↓↓ Dp↓@@ (α∪@ _↓↓ Dp↓@0(α∪@ ⊂↓↓ Tp↓ 0(α∪@P(α∪@@(α∃@E(α∀`EλαTDx↓S@4h↓B@$`↓B@4`αα4X∧@`DX↓@!4P↓@a$P↓↓@tP↓↓`D("bA@∞π↓00)B*⊂(↓A
 β↓
⊂@@P '@`⊂⊂βi`_↓@P '@0⊂αA	`⊂↓@@P '@ _α↓)`⊂↓@P '↓@@ 'A0()α
 8+↓
p_+A
p +A	@_∧↓	0(βA	 0β↓) 0β↓	 (β↓	0⊂βA)0 α↓	@P'↓HT ~∧bR(∞∧%Hα⊗U@α⊗E@α∃`E8α∃`E0α∃@E(α∃ E(↓UE ↓T`E_↓T@0⊂↓∀ @λα∀ 0⊂α∀0_α∪`0 α∪@0 αS @ α∪`_α∩adPαa4P↓α↓¬ α∃E_αT`E_α∀`E⊂αT@E_↓⊃(C(
F#A`∧A_)β*⊂h(Bj⊂H(@J_(J⊂(Ip_'@@⊂0'BIp ↓A	`_β↓	`⊂βA_+A
p +A
p %@a(%↓ p %↓ `(%↓ ` %↓` %↓@(%BiP0"Qεa_πβ@Pβ∀A∃λα@`5α↓ Dxα↓ Tpα↓@Tpα↓@Thαα4hα∪D`α@TXεRa_↓R``(α∩@`8↓R@P@α∩@P@α∩@@Hα∩@@@αR@@@α∩@0Hα∩@0@αR@0@α∩@0@α∩@08α∩@@(α∩`@_α∪↓∀hβ⊃(C8
εcA`α@⊂ β@IPHα@iPHαi@X↓↓	@(↓B	0 β↓I0_¬i _¬i _¬i ⊂¬jP *@j@ *↓
0 )A
 ()↓
⊂((A*((↓*('A)p('A)p('A*_"Qπ↓ Gβ@H∧∀!5αADxα↓`Dpαα 4p↓B@4hαα Dhαα 4hααDhαA@Dpβ@Tx¬T↓¬βSa∀pα dhα`d`α↓ TXα↓`DPαα 4P↓B@4P↓B@4P↓B DP↓B 4P↓B4P↓A`DPα@`TX¬∪ d("∞"1@∞π↓ ()α*⊂ ↓A
 αA	p β↓	` βA	` ∧iP(∧iP ∧@iP ∧↓	@(∧↓	@ ∧A	@ ∧A	@ ∧↓)@ βAI@ β↓IP_αAiP ↓B	`@A	p0↓↓
`(%@a %↓ `(%↓ ` %↓ P %↓P %↓0(%BIP0"Qα 8	Bβ`λ↓R@DPαR`DXαSDhα∪@4x↓⊃(A_∧FqpβIp '↓)P(&↓)0(%↓	 _"Qα@`↓C0↓↓`4P↓↓@DP↓ADX↓@ D`β∪Th↓Q(A(εε↓↓pA⊂%A⊂%@p_%``⊂%`P_%@`  %B	@0&AλT βCλ↓dPπ⊃(A8εH↓↓pα↓I@P%A@_%@@p_%`p_%`p⊂%@`@ %BIP0"QβX
B ⊂(α∪`DxαS`eλα∀ Eλα∪@tP¬∩@t("λ↓ hα∧ p_'A)@0%↓I _"Q``Ac`0↓∪`Dpβ∪ t`α@4Pα↓ 4P↓A`$P↓α$("↔`Qαπ@⊂_%↓) (%↓)0_"Q∂PhBβ` ↓↓$hα@D`α@ T`α@DXα@DX↓@`4P↓@`4P↓↓$P↓↓$("∨AqHαG@P_α@I`(↓@iP8@i0 Ai  ↓A) ⊂βhT ?Cβ ∂ 0 ↓R@P⊂αR@P⊂αR@P⊂αR`0 ↓Q(B ∞λβap	AK0H-↓@_,A`⊂,↓p_+A!⊂+A↓_+Ap +↓ p +↓↓⊂⊂+↓
` *A*P (C
⊂`*↓*@ *↓
@ )A*0 )A
0 &αa⊂⊂%Ba ⊂%β!_%@@@βi ⊂↓D) @↓BI0(βαλT ∪π$!p∂α``H↓∀a⊂8α∀@P_↓A@Eλα↓@0α∀@ αA@4xαAP(α∪`@(αADxα↓@0(↓S@P`αS@@`αSA⊂0α∪A  β∪@`⊂↓`@λ↓S@@ ↓@@_↓∪ `⊂↓@ @ ↓∪! ⊂↓A 4`α P_αA$XαB `_↓∩`@Pβ`$Xαα`@ ↓∩@Q⊂↓R@A_↓∩@A⊂↓R@A⊂↓∩`A↓R`@x↓S@h↓SPPα∪ `0αSaU⊂∧⊃(Cpλ∧ca(¬@j@(*↓*@(*@hpλ)A
 0(@` _(@@0_+j@ )A* ((A*('↓IP0&↓ P_&↓P(%A`(%@`p(%a⊂ %a ⊂%a⊂_%a_%@@p_%@`@ &α)P0"QπqπC`8β∀↓∧pα↓4hα↓@4`↓B $`↓α@$X↓B 4X↓B 4PαA`DPαA@DPαA TX↓A U⊂αT Txβ∪@ThαST`α∪4`↓`$`↓@4`βS D8S4XαR`TXαS4("∧↓0p	D`@ &AI@_A	0_↓↓	0⊂↓A	 _↓↓) ⊂↓A	 ⊂↓A	`('↓	` &A)P &↓  ⊂&↓0⊂&↓ _&↓ ⊂&↓⊂_&AI` "Qα⊃ππα0Pα∀@uλα 5λ↓`E↓@`Dx↓@`Tx↓↓Dx↓↓E(α∃U α∃E α∀`U_α∀`E_α∀@U⊂α∀@E⊂α∀ Uλα∩`0_α∩@PλαR@Pλα∩A∀XβST("ε#1P∪GB@,αjp(α↓
p β↓
` βA
` βA
P(βA
P ∧↓
P ∧jP βA
@(β@j⊂8β@j⊂8βj@ βJ@ α@j@ αj0(αj0 α@j0 αA
0 βj0 β↓
 (βA
  ∧↓
  ∧↓
  ∧↓
 8αA
⊂Hα↓
⊂H↓A
⊂H↓↓
⊂ B*⊂_↓AJ (↓
_&`⊂_%B	 @%↓i0(&hT 
π∧↓_	C`0⊂β∃Au(¬@@E_¬A 5λα@@P0↓T@_αA@Dxα↓P αS@@(α@thα↓A4`αA!∀`α↓@DXα↓`DXα↓`DPαA@TPα↓`P@↓R@@0βα4X↓A!(αR`@_¬@d`ε!∀pα@@ _β⊃(AX
Hα1_βA@`0(α0H'A  A   '↓@8α@iP αA@`_&↓`(β↓	0(β↓ @(%Ap ↓↓i0 βBi (βα)  βA	  βA	  β↓)  β↓)  β↓!_%↓P0∧i0_ααP(%A  ↓↓ 0&α@H&A p0"QβA8G#↓(↓↔@5h↓W %`↓U↓%⊂¬T P_α∀@(αS`@(β∪@@(↓@ Dpα↓  ⊂α∪ @(↓@@Dhα↓0_α∪P_↓@`T`α↓  α∪@_↓AD`α@0 αS@λ↓A D`α  (αSp(α∪ P(α∪@@_αSA$h∧S4X↓R`$P↓R@$("π%αX∂πB↓@-εP8∧↓K@_A↓0_.@⊂(¬@k0_A↓@_-@@  εk _↓↓↓@_,@` (α@`⊂,@@0 α@@`⊂,`0 α@@`⊂,@@ αjp_↓A @_+@@@ αj`_ααjP_αBjP⊂αA 0 *`P α@J@⊂β↓P⊂)C P⊂β@J pα``_)@p α@@p⊂(@`p ε@j⊂⊂∧↓↓@_(`p(εip_∧↓↓@_'@A⊂ ¬A	`_∧A↓⊂(&A↓(βAi H↓¬i H↓¬HT ∂
¬ap∂βC%0∞∃`(αB U_αA`PX↓T `@αB`5αB@@`↓S`PXαβ4xαB`@`↓S@PXαA 0↓∪ P`α↓  0↓∪ P`α↓  0↓∪Phα↓4`αCP ↓R```α↓4XαC!4XαC!4PββP_α∩@Phα↓ $PαC @(↓∩@Phα↓  8↓∩@P`αA00↓R@P`α↓  8↓∩`@`αβ 4Xαβ@`↓R`PPαC4`αα@@`↓SPHαα`DhααPHαS@P(β↓`tx∞T#$("πd∩(∩λ#p⊂4lp_-α@_,β ⊂+↓@P8*A!()A!0 )↓!00(A!0_@j⊂ ¬@`  (↓↓0_↓A	p ε@@ 'A↓0_α↓	` ¬@`P '↓↓ _β↓	P(∧@`p &A↓⊂_∧↓	P ∧a⊂ &↓ p_∧A)@ ∧A  &↓p_¬↓	@ βa (&↓P_¬A	@ αa0 &↓0_¬A)P @a@ &Aa@ '↓!@ '↓!0 'A↓⊂('↓`P0&@`⊂h&`@@%@i _%HT ¬Hd"8∂∧p(αV!⊂⊂∧⊗@⊂∧@ U8αa⊂λαU@@ ∧@U0α↓ p_↓U@@@α∃ P8αU @@α∃ @@α∃ @@α∀"uλU@@α∃@@α∃@@α∃@@α∃@@α∀`P8αT`@@α∀`@@α∀`@@α∀`@@α∀@P8αT@@@α∀@@@α∀@@@α∀@@@α∀ @@α∀ @@α∀ @@α∀ 0H↓T@@α∀@@α∩`0⊂↓@ 0(↓R@Pλ∧`DP∧ P⊂α∩Aλα@ DPβ@A∀Xα↓@T("ββQ`∪GB⊂H,C+(αA*p βA*p βA*` ∧@j` *A*P *A
P (E
⊃ *↓↓ *↓↓ *↓↓ *↓p(*↓p )A p )A↓ )Ap()Ap )Ap )↓ p )↓p(↓@J  βA@⊂)↓p ↓@j  βA0⊂(A↓ A
⊂ ∧Aj⊂ ¬↓
⊂_(↓
 %@` _%↓ ⊂_%α	 @%↓i0 "Q↓Qh∞	caλβ@ EHπ⊗@_∧∃`@ ∧∃@@(∧∃@@0β∃@@@α∃ P@α∃ @@αU @@α∃ @@α∀"Eλ
∃@@α∃@@α∃@@α∃@8αU@8α∀`P8α∀`@@α∀`@8αT`@8α∀`@8α∀@P8α∀@@8α@`%⊂α↓`@ ↓∀@@8α`5⊂α↓`@_↓∀ @@α Eλαα uλαα@Eλ↓TEα∩`0⊂↓R@Pλ↓RA∧P∧∩@tXα⊃(@p∃JDqpλα`P,β p+A @HβA*p_βα↓(+↓`8∧A*` βAA _*A↓⊂ *A↓⊂ *A↓⊂ *A↓⊂ *↓!((λjα_*↓↓⊂ ∧A
@ ∧A↓⊂ )A!(∧A
0 ∧A↓⊂()A↓⊂ ∧A
0 ∧A↓⊂ )A↓⊂ ∧A
0 ∧↓!()↓! ∧A
  ∧A↓⊂ )↓↓⊂ ∧A
  ∧A↓(↓J  ∧↓! ↓@J⊂ ∧A↓⊂ ↓j⊂ ∧A↓⊂ ↓J⊂ ∧A↓⊂ @j⊂ ∧@a00(@a⊂ ε↓
 ∧A
 ∧@j_∧A	0_↓↓@` %β @ %β @_%↓`⊂(↓↓	 0↓αI0 αAHT πJe"8∂∧ p(β@`EH¬@!0λα⊗@ ∧@a∃8α↓ p(∧U`@(βA!∃0α↓``0βU@@@αα@E0αα@Pα∃ P@αα U(αα @Hα∃ @@αB Eλ⊃∀$% αB@Hα∃@Hαα E ααPHα∃@@αα U αα@Hα∀`P@αα E_αα @Hα∀`@@αBU_αα@Hα∀`@@αα E_αα@Hα∀@@HααP⊂↓∀@@@αB@_↓∀@@@αα @⊂↓T@@@αα @⊂↓∀@0Hαα @λ↓T @H↓B`eλαα@`α∀ @@α∀ 0H↓T@@α∩`0⊂βA DPα@! ↓RA`_↓RAλα@ TPβ@A∀Xα↓@d("↔↓qPεG@`⊂α@Ip_αi`_αiP_αi@_αi0_αi0⊂α@I0⊂α@I _αi (↓↓) 0AI 0AI 0AI0 ↓AλT ⊃∧α`h∂↓0 ↓S P⊂αS `λβ∪ `λβ∪@P⊂αT (↓∀ (↓∪`0 ↓S` (↓∪@0 ↓S 0 ↓S0 ↓R@@_α∩@0 ↓Q(Bh¬β@0XαI P%αI P"Q∂1 !@
∩BD("∨¬∩hCαH%
(←@ε↔x$␈\P98↓∨3@↓∨3@␈␈␈␈pβλ␈␈␈␈(αλ{⊂$ ε(@∧?0!λX0¬'↑d_⊂↓9(g@λ
⎇HB⊂βεop_P{⊃#p¬=∪p@←0#π@PDJ@↓"≡d8⊃@↓H8K⊂{⎇Iα⊂β∀ 7{∩"⊂βλ≠`⎇␈0%ε@7x@α
≡dX⊃@↓F`\@ B⎇IA`αC[(PP{∪%⊂π!@⊂↓,?0'λ@`Qβ↑dx⊃@↓F`\@0i⎇J↓xα↑Ixtp{∀$0ε≠↔⊂↓u←0)λ Xeb ∧∪↑e_@↓⊃λλ@@h⎇JBαr\x↓∀⊂{∃$ ε(@α5?0+λ@`Q¬
↑e8⊗@αβ_j@PO⎇Kα⊂β∀ ↓60{⊗$ ε(@α{∨0-πHs}`ε∂↑fλ@↓βP∪@`U⎇L!(↓l3h↓PP{_bPβXgPβ-␈02¬`@≥	`εl≡f(
@v_≡@p∩⎇L`p↓≠h↓f@{→bPβXgPβX←04¬`@≥	`πL↑fHπMp@xS⎇M x↓)∨(↓␈@{~bPβXgP∧
␈06α` βe@λ3≡fh∩@↓T_Q↓λ
⎇MaHα"⊃λα≠0{≠bp∧∞Dp∧D←08¬`@≥	`	≥≡gλ
@v_≡@↓⊂s⎇N!⊂↓QE_α4`{≤b β#
0∧q␈0:β`($⎇ 	u≡g(↓
(N↓ ∞⎇Na(↓l3hαHP{≥c`¬/\P¬≥∨0<¬ 81O 
\≡gH|pY↓(b⎇O!⊂↓QE_αd{β@¬π6P¬P?0I h!h@6↑`⊂⊃@↓F`\@↓8$⎇@1hαJ7α⎇`{↓β@∧y␈0ελ␈0αH@`Q&↑`0⊂↓9(g@↓H⎇@r_β
KHβ_⊂{α∧¬e9pε=∨0∧H``6. 
≠≡`P⊂↓9(g@↓Px⎇D⊂p↓≠hβ8{λdPεPt εw␈0∩I h!h@∞⊗↑b8πMp@↓h_⎇E↓⊂↓QE_βU {
" β#
0π6←0∃¬`@≥	`∂¬↑bX⊃@↓F`\@↓p1⎇E@p↓≠hβj {A`α7PπX␈0↔E`@≥	`∂6≡cPπMp@↓x≤⎇G0p↓≠hβu0{∂↓`α7Pπp←0≡H``6. ∂q↑d⊃@↓F`\@↓xk⎇K0p↓≠h∧	⊂{↔!`α7Pλ≡?00β@ o ⊂U≡c@↓βP∪@αλ;⎇F⊃8απ"8∧≡P{Bp∧∞DpλE←0→E`@≥	`⊃)≡c @↓βP∪@α_⎇FQ8απ"8∧7p{
Bp∧∞Dpλz←0≠E`@≥	`∩⊂↑c@@↓βP∪@α L⎇G⊃8απ"8∧P {∧Bp∧∞Dp	.←0	E`@≥	`∩c↑a @↓βP∪@α(R⎇BQ8απ"8∧\⊂{¬Bp∧∞Dp	<␈0I@h3]∩|↑a@⊂↓9(g@α0
⎇DX↓y0∧c{↔Bp∧∞Dp	H∨0/C@ o ∪_≡gh@↓βP∪@α08⎇Oa8απ"8∧i`{∨bp∧∞Dp	W?0∩λ``41 ∪5↑b0⊂↓9(g@α8≥⎇Ga8απ"8∧⎇p{∂bp∧∞Dp
π∨0λβ@ o ∀%≡aλλ[(5α@l⎇C⊃Hα"⊃λ¬∩`{εD¬e9p
7␈0
HXJs`∃	↑a`@↓βP∪@αPJ⎇CR@βJ∧8¬0`{πE@πr
x?0∂H``6. ⊗∨≡`X
@↓≠`␈@αh↔⎇AAXα7Ox¬↑ {β#0∧o∨pN←0π
 pM←`↔D↑`x∀@↓iX?@αxw⎇KA8απ"8ε
`{λBp∧∞Dp#?0⊗D(ZZ@_V↑gX@↓βP∪@βλ4⎇OB`βyεε↔ |@βλ?`{⎇xow{⎇x